Background: Patient participation in clinical ethics support services has been marked as an important issue. There seems to be a wide variety of practices globally, but extensive theoretical or empirical studies on the matter are missing. Scarce publications indicate that, in Europe, patient participation in CESS varies from region to region, and per type of support. Practices vary from being non-existent, to patients being a full conversation partner. This contrasts with North America, where PP seems more or less standard. While (...) PP seems to be on the rise in Europe, there is no data to confirm this. This study sought a deep understanding of both habits and the attitudes towards PP in the Netherlands, including respondents’ practical and normative perspectives on the matter. Methods and Results: We developed a national survey on PP for Dutch CESS staff. Our survey comprised a total of 25 open and close-ended questions, focused on four topics related to PP goals of CESS, status quo of PP, ideas and ideals concerning PP, and obstacles for PP. Discussion: The four most important findings were that: Patient participation in Dutch CESS is far from standard. Views on patient participation are very much intertwined with the goals of ethics support. Hesitations, fears and perceived obstacles for PP were not on principle and Most respondents see PP as a positive opportunity, yet requiring additional training, practical guidance and experience. Conclusions: Various normative reasons require PP. However, PP seems far from standard and somewhat rare in Dutch CESS settings. Our respondents did not raise many principled objections to PP. Instead, reasons for the lack of PP are intertwined with viewpoints on the goals of CESS, which seemingly focus on supporting health care professionals. Training and practical guidance was thought to be helpful for gaining experience for both CESS staff and HCPs. (shrink)

Suárez held that the vital faculties of the soul are really distinct from the soul itself and each other and that they cannot causally interact. This means that he needed to account for the connections between the activities of the faculties: they both interfere with and contribute to each other’s activities. Suárez does so by giving the soul a direct causal role in these activities. This role requires the unity of the soul of a living being and Suárez used it (...) to argue against the view that a living being, in particular a human being, has more than one soul. This line of thought displays some affinity with arguments for the simplicity of the soul from the unity of consciousness. One important difference is that Suárez was talking not just about mental activities but about all vital activities. (shrink)

We examine two competing solutions to Benardete paradoxes: causal finitism, according to which nothing can have infinitely many causes, and the unsatisfiable pair diagnosis (UPD), according to which such paradoxes are logically impossible and no metaphysical thesis need be adopted to avoid them. We argue that the UPD enjoys notable theoretical advantages over causal finitism. Causal finitists, however, have levelled two main objections to the UPD. First, they urge that the UPD requires positing a ‘mysterious force’ that prevents paradoxes from (...) arising. Since such a force is implausible, the UPD is in trouble. Second, they employ recombination or patchwork principles to argue that paradoxical situations would be possible if causal finitism were false. Since such situations are not possible, causal finitism is true, and so a substantive metaphysical thesis is needed to avoid the paradoxes. We argue that the UPD proponent can successfully respond to these objections. (shrink)

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

We draw out significant consequences of a relatively popular theory of metaphysical modality—branching actualism—for cosmological arguments for God’s existence. According to branching actualism, every possible world shares an initial history with the actual world and diverges only because causal powers (or dispositions, or some such) are differentially exercised. We argue that branching actualism undergirds successful responses to two recent cosmological arguments: the Grim Reaper Kalam argument and a modal argument from contingency. We also argue that branching actualism affords a response (...) to one popular defense of the classic contingency argument. What results are new difficulties for several cosmological arguments arising from the metaphysics of modality. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

I defend a new argument for causal finitism, the view that nothing can have an infinite causal history. I begin by defending a number of plausible metaphysical principles, after which I explore a host of novel variants of the Littlewood-Ross and Thomson’s Lamp paradoxes that violate such principles. I argue that causal finitism is the best solution to the paradoxes.

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

Long-standing neglect of the chemical senses in the philosophy of perception is due, mostly, to their being regarded as ‘lower’ senses. Smell, taste, and chemically irritated touch are thought to produce mere bodily sensations. However, empirically informed theories of perception can show how these senses lead to perception of objective properties, and why they cannot be treated as special cases of perception modelled on vision. The senses of taste, touch, and smell also combine to create unified perceptions of flavour. The (...) nature of these multimodal experiences and the character of our awareness of them puts pressure on the traditional idea that each episode of perception goes one or other of the five senses. Thus, the chemical senses, far from being peripheral to the concerns of the philosophy of perception, may hold important clues to the multisensory nature of perception in general. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

There is a widespread belief that for their own safety and for the protection of wildlife, cats should be permanently kept indoors. Against this view, I argue that cat guardians have a duty to provide their feline companions with outdoor access. The argument is based on a sophisticated hedonistic account of animal well-being that acknowledges that the performance of species-normal ethological behavior is especially pleasurable. Territorial behavior, which requires outdoor access, is a feline-normal ethological behavior, so when a cat is (...) permanently confined to the indoors, her ability to flourish is impaired. Since cat guardians have a duty not to impair the well-being of their cats, the impairment of cat flourishing via confinement signifies a moral failing. Although some cats assume significant risks and sometimes kill wild animals when roaming outdoors, these important considerations do not imply that all cats should be deprived of the opportunity to access the outdoors. Indeed, they do not, by themselves, imply that any cat should be permanently kept indoors. (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

Benardete paradoxes involve infinite collections of Grim Reapers, assassins, demons, deafening peals, or even sentences. These paradoxes have recently been used in arguments for finitist metaphysical theses such as temporal finitism, causal finitism, and discrete views of time. Here we develop a new finite Benardete-like paradox. We then use this paradox to defend a companions in guilt argument that challenges recent applications of patchwork principles on behalf of the aforementioned finitist arguments. Finally, we develop another problem for those applications by (...) examining the notion of exact duplication. (shrink)

The contribution of the body to cognition and control in natural and artificial agents is increasingly described as “off-loading computation from the brain to the body”, where the body is said to perform “morphological computation”. Our investigation of four characteristic cases of morphological computation in animals and robots shows that the ‘off-loading’ perspective is misleading. Actually, the contribution of body morphology to cognition and control is rarely computational, in any useful sense of the word. We thus distinguish (1) morphology that (...) facilitates control, (2) morphology that facilitates perception and the rare cases of (3) morphological computation proper, such as ‘reservoir computing.’ where the body is actually used for computation. This result contributes to the understanding of the relation between embodiment and computation: The question for robot design and cognitive science is not whether computation is offloaded to the body, but to what extent the body facilitates cognition and control – how it contributes to the overall ‘orchestration’ of intelligent behaviour. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

In the exceptional book _Divine Holiness and Divine Action_, Mark Murphy defends what he calls the _holiness framework _for divine action. The purpose of our essay-response to Murphy’s book is to consider an alternative framework for divine action, what we call the _agapist framework_. We argue that the latter framework is more probable than Murphy’s holiness framework with respect to_ select _theological desiderata.

Neo-Humean instrumentalists hold that anagent's reasons for acting are grounded in theagent's desires. Numerous objections have beenleveled against this view, but the mostcompelling concerns the problem of ``aliendesires'' – desires with which the agent doesnot identify. The standard version ofneo-Humeanism holds that these desires, likeany others, generate reasons for acting. Avariant of neo-Humeanism that grounds anagent's reasons on her values, rather than allof her desires, avoids this implication, but atthe cost of denying that we have reasons to acton innocent whims. (...) A version of neo-Humeanismthat holds that an agent has reason to satisfyall of her desires that are not in conflictwith her values appears to allow us to grantthe reason-giving force of innocent whims whiledenying the reason-giving force of alien desires. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

A self-fulfilling prophecy in neuroprognostication occurs when a patient in coma is predicted to have a poor outcome, and life-sustaining treatment is withdrawn on the basis of that prediction, thus directly bringing about a poor outcome for that patient. In contrast to the predominant emphasis in the bioethics literature, we look beyond the moral issues raised by the possibility that an erroneous prediction might lead to the death of a patient who otherwise would have lived. Instead, we focus on the (...) problematic epistemic consequences of neuroprognostic SFPs in settings where research and practice intersect. When this sort of SFP occurs, the problem is that physicians and researchers are never in a position to notice whether their original prognosis was correct or incorrect, since the patient dies anyway. Thus, SFPs keep us from discerning false positives from true positives, inhibiting proper assessment of novel prognostic tests. This epistemic problem of SFPs thus impedes learning, but ethical obligations of patient care make it difficult to avoid SFPs. We then show how the impediment to catching false positive indicators of poor outcome distorts research on novel techniques for neuroprognostication, allowing biases to persist in prognostic tests. We finally highlight a particular risk that a precautionary bias towards early withdrawal of life-sustaining treatment may be amplified. We conclude with guidelines about how researchers can mitigate the epistemic problems of SFPs, to achieve more responsible innovation of neuroprognostication for patients in coma. (shrink)

The potential benefits of cognitive skills in enhancing mathematics ability have been claimed by numerous researchers. Since mathematics requires a complete understanding and grasp of abstract concepts, it is essential to explore how learning with metacognitive skills affects mathematics learning. Thus, the study investigates the students' metacognitive awareness and conceptual understanding of integers. A descriptive-correlational method approach was utilized, and it was carried out on 303 seventh-grade students. The data were obtained using a metacognitive awareness inventory and achievement test on (...) integers. It was further revealed that the students have average metacognitive awareness and performed well in the fundamental operation of integers. Follow-up qualitative analysis revealed that students who were high achievers had the best understanding, average achievers had corrected or incomplete understanding, and low achievers had a functional misconception of integers. Moreover, the student's metacognitive awareness was significantly related to their conceptual understanding of integers. This indicates that student's higher-order thinking skills, such as metacognition, are essential since they are associated with building conceptual skills. Thus, teachers should encourage students' metacognitive awareness to improve students' conceptual understanding of integers. The study provides relevant information for educational managers on the potential factors to be considered in improving mathematics education practices, particularly in promoting metacognition among high school students. (shrink)

In previous work I have argued that talk about negative events should not be taken at face value: typically, what we are inclined to think of as a negative event (John’s failure to go jogging) is just an ordinary, positive event (his going to the movie instead); it is a positive event under a negative description. Here I consider more closely the difficulties that arise in those cases where no positive event seems available to do the job, as with putative (...) cases of causation by omission. In particular, I elaborate on Helen Beebee’s idea that not all causal explanations are reports of causation. When we mention John’s failure to turn off the gas as an explanans of why there was an explosion, we do not say what caused the explosion. We do not mention any of the relevant causes. We just remark that one sort of event that was supposed to occur, and whose occurrence would have prevented the explosion, did not in fact occur. (shrink)

In 2016, a multidisciplinary body of scholars within the International Commission on Stratigraphy—the Anthropocene Working Group—recommended that the world officially recognize the Anthropocene as a new geological epoch. The most contested claim about the Anthropocene, that humans are a major geological and environmental force on par with natural forces, has proven to be a hotbed for discussion well beyond the science of geology. One reason for this is that it compels many natural and social scientists to confront problems and systems (...) that transgress traditional disciplinary boundaries, and as a result, calls for interdisciplinary research are now gaining traction. Proponents of such transgressions have dubbed the new scientific order that will result “Anthropocene Science”, and rhetoric notwithstanding, such discussions exemplify how recent changes within science justify rethinking a prevailing image of how science is done, and with it, the working relationship between scholars in the humanities, natural scientists, and social scientists. (shrink)

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

This essay uses the concept of reconstruction to make an argument and an intervention in relation to the practice and study of black aesthetics. The argument will have to do with the parochialism of John Dewey, the institutional inertia of professional philosophy, the aesthetic dimensions of the US politics of reconstruction, the centrality of reconstructionist politics to the black aesthetic tradition, and the staging of a reconstructionist argument in the film, Black Panther (Coogler 2018). The intervention aims to address the (...) fact that arguments like these tend not to register properly because of certain reflexive and customary limits on some common forms of philosophical inquiry. The sort of professional philosophy I was raised to practise and value tends not to be particularly inclusive and open-minded, especially when it comes to subjects that bear directly on the thoughts, lives, and practices of people racialized as black. black aesthetics, by contrast, is an inherently ecumenical enterprise, reaching across disciplinary and demographic boundaries to build communities of practice and exchange. Hence the need for an intervention: to create the space for arguments and the people who work with them to function across disciplinary and demographic contexts. (shrink)

1. A multidisciplinary group of scholars within the International Commission on Stratigraphy – known as the Anthropocene Working Group – recently recommended the Anthropocene as a new geological ep...

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...) and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

The modal collapse objection to classical theism has received significant attention among philosophers as of late. My aim in this paper is to advance this blossoming debate. First, I briefly survey the modal collapse literature and argue that classical theists avoid modal collapse if and only if they embrace an indeterministic link between God and his effects. Second, I argue that this indeterminism poses two challenges to classical theism. The first challenge is that it collapses God’s status as an intentional (...) agent who knows and intends what he is bringing about in advance. The second challenge is that it collapses God’s providential control over which creation obtains. (shrink)

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

Florence Ashley has argued that requiring patients with gender dysphoria to undergo an assessment and referral from a mental health professional before undergoing hormone replacement therapy is unethical and may represent an unconscious hostility towards transgender people. We respond, first, by showing that Ashley has conflated the self-reporting of symptoms with self-diagnosis, and that this is not consistent with the standard model of informed consent to medical treatment. Second, we note that the model of informed consent involved in cosmetic surgery (...) resembles the model Ashley defends, and that psychological assessment and referral is recognised as an important aspect of such a model. Third, we suggest that the increased prevalence of psychiatric morbidity in the transgender population arguably supports the requirement of assessment and referral from a mental health professional prior to undergoing HRT. (shrink)

An important source of doubt about our knowledge of the "external world" is the thought that all of our sensory experience could be delusive without our realizing it. Such wholesale questioning of the deliverances of all forms of perception seems to leave no resources for successfully justifying our belief in the existence of an objective world beyond our subjective experiences. I argue that there is there is a fatal flaw in the very expression of philosophical doubt about the "external world." (...) Therefore, no such justification is necessary. The feature of skepticism which I believe renders it vulnerable is the assumption that each of us has a right to be certain of his own existence as a subject of conscious experience even in the face of comprehensive doubt about our empirical beliefs. (shrink)

El objetivo de este artículo es realizar una historización del sistema sanitario de Neuquén, concretamente atendiendo a los programas de salud aplicados en esta provincia desde su surgimiento hasta el año 2020. En este marco, en primer lugar, me enfocaré en los lineamientos políticos que definieron las bases ideológicas de las políticas públicas llevadas a cabo en la atención sanitaria neuquina, y, en segundo lugar, examinaré las variables estadísticas publicadas por el sistema de salud provincial referidas a las condiciones materiales (...) de atención médica de la población en general, y de las mujeres indígenas mapuce en particular. Para efectuar dicho abordaje, analizaré específicamente la localidad de Las Coloradas. -/- . (shrink)

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

What proper role should considerations of risk, particularly to research subjects, play when it comes to conducting research on human enhancement in the military context? We introduce the currently visible military enhancement techniques (1) and the standard discussion of risk for these (2), in particular what we refer to as the ‘Assumption’, which states that the demands for risk-avoidance are higher for enhancement than for therapy. We challenge the Assumption through the introduction of three categories of enhancements (3): therapeutic, preventive, (...) and pure enhancements. This demands a revision of the Assumption (4), alongside which we propose some further general principles bearing on how to balance risks and benefits in the context of military enhancement research. We identify a particular type of therapeutic enhancements as providing a more responsible path to human trials of the relevant interventions than pure enhancement applications. Finally, we discuss some possible objections to our line of thought (5). While acknowledging their potential insights, we ultimately find them to be unpersuasive, at least provided that our proposal is understood as fully non-coercive towards the candidates for such therapeutic enhancement trials. (shrink)

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come (...) to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

This study determined the cognitive skills achievement in mathematics of elementary pre-service teachers as a basis for improving problem-solving and critical thinking which was analyzed using Piaget's seven logical operations namely: classification, seriation, logical multiplication, compensation, ratio and proportional thinking, probability thinking, and correlational thinking. This study utilized an adopted Test on Logical Operations (TLO) and descriptive research design to describe the cognitive skills achievement and to determine the affecting factors. Overall, elementary pre-service teachers performed with sufficient understanding in dealing (...) with the TLO. However, in each logical operation, students were found to have insufficient understanding of probability thinking and correlational thinking. These insufficiencies in other logical operations were attributed to their misconceptions on some mathematical terms, misinterpretation of the problems, poor comprehension skills, poor problem-solving skills, and poor performance in mathematics in general. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

I consider two attempts to combine realism with pluralism about the units of selection: Sober and Wilson’s combination of “model” and “unit” pluralism, and Sterelny and Griffiths’ “local pluralism”. I argue that both of these attempts fail to show that realism and pluralism are compatible. Sober and Wilson’s pluralism turns out, on closer inspection, to be a kind of monism in disguise, while Sterelny and Griffiths’ local pluralism involves a combination of realism and anti-realism about interactors, and the units of (...) selection, that is fundamentally unstable. My conclusion is that one must choose whether to be a realist or a pluralist in this area: one cannot be both. The question of which we should choose is a further question that I do not take a stand on. (shrink)

Peter Singer’s famous and influential article is criticised in three main ways that can be considered libertarian, although many non-libertarians could also accept them: 1) the relevant moral principle is more plausibly about upholding an implicit contract rather than globalising a moral intuition that had local evolutionary origins; 2) its principle of the immorality of not stopping bad things is paradoxical, as it overlooks the converse aspect that would be the positive morality of not starting bad things and also thereby (...) conceptually eliminates innocence; and 3) free markets—especially international free trade—have been cogently explained to be the real solution to the global “major evils” of “poverty” and “pollution”, while “overpopulation” does not exist in free-market frameworks; hence charity is a relatively minor alleviant to the problem of insufficiently free markets. There are also various subsidiary arguments throughout. (shrink)

The dialogue develops arguments for and against a broad new world system - info-computationalist naturalism - that is supposed to overcome the traditional mechanistic view. It would make the older mechanistic view into a special case of the new general info-computationalist framework (rather like Euclidian geometry remains valid inside a broader notion of geometry). We primarily discuss what the info-computational paradigm would mean, especially its pancomputationalist component. This includes the requirements for a the new generalized notion of computing that would (...) include sub-symbolic information processing. We investigate whether pancomputationalism can provide the basic causal structure to the world and whether the overall research program of info-computationalist naturalism appears productive, especially when it comes to new approaches to the living world, including computationalism in the philosophy of mind. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

Three separate churches erected in Constantinople were all dedicated to the wisdom of Christ and erected on the same site one after the other. These churches were built between 360 and 537 AD by three different emperors: Constantius II, Theodosius the Younger, and Justinian I. The first two churches were consumed in flames after relatively short lives, but the final and greatest church still stands today, despite a history of extensive damage. This final edifice is the main focus of this (...) paper, owing to its 1500 year longevity and unprecedented architecture. If the entire History of Justinian's church is to considered, it is inaccurate to refer to it as a “church,” because although it remained a church for the first 900 years after its audacious construction, it was later converted into a mosque. Today it is a museum, in remembrance of its long history. (24). (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

This paper is an attempt to argue that there existed a very prominent view of signs and signification in late sixteenth- and seventeenth-century Europe which can help us to understand several puzzling aspects of baroque culture. This view, called here "pansemioticism," constituted a fundamental part of the baroque conception of the world. After sketching the content and importance of pansemioticism, I will show how it can help us to understand the (from a modern perspective) rather puzzling concept of the polymath, (...) or polyhistor, which constituted the ideal of the baroque scientist. In this context I will also discuss a seventeenth century phenomenon essentially connected with polyhistorism, namely that of the early modem polyhistorical collections, the Wunderkamnmern. Since such a study needs a clearly determined focal point, we will concentrate on the last three quarters of the seventeenth century and will mainly discuss works by German authors of the time. (shrink)

In this paper, I argue that no strong doctrine of the Fall can undermine the propriety of epistemic self-trust. My argument proceeds by introducing a common type of philosophical methodology, known as reflective equilibrium. After a brief exposition of the method, I introduce a puzzle for someone engaged in the project of self-reflection after gaining a reason to distrust their epistemic selves on the basis of a construal of a doctrine of the Fall. I close by introducing the worry as (...) a formal argument and demonstrate the self-undermining nature of such an argument. (shrink)